g:GrpSig. *  |g||g||g| 

latex

Up	grp sig object directory
Definitions of Statement	GrpSig, |g|, *
Definitions	t.2, t.1, *, |g|, t  T, x:A. B(x), GrpSig
Lemmas	grp sig wf